Towards Personalized Elevator Travel with Smart Elevator System
نویسندگان
چکیده
منابع مشابه
Verification of an Elevator System with MOCHA
Unlike many other existing model checkers, MOCHA is designed for the modular verification of heterogeneous systems. Instead of manipulating unstructured state‐transition graphs, it supports the hierarchical modeling framework of Reactive Modules. It overcomes the state‐explosion problem by exploiting the modular structure naturally present in many system designs. Instead of traditional te...
متن کاملModeling Elevator System With Coloured Petri Nets
A fairly general model of the elevator system is presented. Coloured Petri Nets (CPN) and CPN tools are adopted as modeling tools. The model, which is independent of the number of floors and elevators, covers different stages of the elevator system in substantial detail. The model assists simulation-based analysis of different algorithms and rules which govern real elevator systems. The results...
متن کاملAccessible Elevator
This paper describes an proof-of-concept with the goal of providing new interactions for elevators. By connecting the control unit of the elevator to the ISO/IEC 24752 Universal Remote Console (URC) middleware – the Universal Remote Console (UCH) – we show some examples of alternative and accessible User Interfaces. By this, we achieve not only accessible UIs, e.g., spoken language interfaces, ...
متن کاملApplication of PLC for Elevator Control System
In this research paper an attempt has been made to integrate the programmable logic controller (PLC) with elevator for developing its control system. Thus, this paper describes the application of programmable logic controller for elevator control system. The PLC used for this project is GE FANUC with six inputs and four outputs. The programming language used is ladder diagram.
متن کاملEleview: An Active Elevator Monitoring Vision System. ,
This paper describes an on-going novel vision application to detect abnormal activities in an elevator. Dgference picture technique and human body motion analysis are proposed to accomplish the interpretation tasks. The interpretation makes use of the spatial and temporal features together with the scenario representation. The results obtained are encouraging and further analysis seems fruitful.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Baltic Journal of Modern Computing
سال: 2020
ISSN: 2255-8950
DOI: 10.22364/bjmc.2020.8.4.12